SPOTTING INHERITANCE IN DROSOPHILA BUSCKII COQ

اولین گزارش مگس (Drosophila busckii (Dip.: Drosophilidae از ایران

first report of drosophila busckii (dip.: drosophilidae) from iran

in the course of studying the saprophagous flies of kermanshah province, the larvae of drosophila busckii (coquillett) and megaselia scalaris (loew) were collected on the moribund or dead larvae of polyphylla olivieri laporte in the orchards of sahneh during 2008-2009. the adult specimens of d. busckii and m. scalaris were identified by dr. diseny (university of cambridge) and dr. baechli (univ...

Inheritance of Shoulder Spotting in the Tetra, Hyphessobrycon bentosi Characidae

The tetra (Hyphessobrycon bentosi) exhibits two phenotypes associated with shoulder spotting. Fish possess either a prominent black vertical spot located directly behind the operculum (H. b. bentosi, bentosi white tip tetra) or lack this spot (H. b. rosaceus, rosy tetra). Segregation patterns observed from the progenies of ten different crosses suggest that the inheritance of these phenotypes i...

Coq in Coq

We formalize the deenition and the metatheory of the Calculus of Constructions (CC) using the proof assistant Coq. In particular, we prove strong nor-malization and decidability of type inference. From the latter proof, we extract a certiied Objective Caml program which performs type inference in CC and use this code to build a small-scale certiied proof-checker.

Attractant for vinegar fly, Drosophila busckii, and cluster fly, Pollenia rudis (Diptera: Drosophilidae et Calliphoridae).

A field test carried out in an industrial greenhouse in Lithuania revealed the attractiveness of synthetic methyl salicylate (MeSa) to two dipteran species: the vinegar fly, Drosophila busckii (Drosophilidae), and the cluster fly, Pollenia rudis (Calliphoridae). The attractant for the former fly species was especially effective, as sticky traps containing 0.25 ml of MeSa captured (814 +/- 55) D...